厳格な2PL rigorous 2PL